$\forall$$a$:$\mathbb{Z}$. prime($a$) $\in$ Prop